#include <stdio.h>
int add_twice(int a, int b) {
    printf("hello from hello.c, be called in main.rs\n");
    return 2*(a + b);
}
